<html>
<head><meta charset="utf-8"><title>weekly meeting 2018-10-08 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html">weekly meeting 2018-10-08</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="135420647"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420647" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420647">(Oct 08 2018 at 18:31)</a>:</h4>
<p>Hello all :) welcome to the "30 min late" weekly meeting</p>



<a name="135420689"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420689" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420689">(Oct 08 2018 at 18:32)</a>:</h4>
<p>This meeting is meant to be a bit informal so I didn't prepare an agenda in advance or anything</p>



<a name="135420698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420698">(Oct 08 2018 at 18:32)</a>:</h4>
<p>Hello! <span class="emoji emoji-1f44b" title="wave">:wave:</span></p>



<a name="135420710"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420710" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420710">(Oct 08 2018 at 18:33)</a>:</h4>
<p><span class="user-mention" data-user-id="131912">@dhardy</span> you mentioned wanting to work on trait object upcast, I think that's an interesting idea: my main concern has been working on integrating chalk but actually there are a few topics that might be worth looking at which are — at least <em>somewhat</em> — independent</p>



<a name="135420713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420713">(Oct 08 2018 at 18:33)</a>:</h4>
<p>I was thinking of trait aliases too</p>



<a name="135420723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> dhardy <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420723">(Oct 08 2018 at 18:33)</a>:</h4>
<p>Yes, I thought it's somewhat independent... trait objects are a different thing from traits</p>



<a name="135420767"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420767" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> dhardy <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420767">(Oct 08 2018 at 18:34)</a>:</h4>
<p>I'm still struggling to find my way around the compiler so haven't got anywhere</p>



<a name="135420772"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420772" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420772">(Oct 08 2018 at 18:34)</a>:</h4>
<p>I forget, was it you that I was talking about on this topic before?</p>



<a name="135420775"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420775" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420775">(Oct 08 2018 at 18:34)</a>:</h4>
<p>There was someone :)</p>



<a name="135420791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> dhardy <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420791">(Oct 08 2018 at 18:34)</a>:</h4>
<p>Not sure but probably not. I made some comments on the linked GH issue</p>



<a name="135420797"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420797" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420797">(Oct 08 2018 at 18:34)</a>:</h4>
<p>There are various complexities to deal with, and I had been talking to someone about drafting up an RFC</p>



<a name="135420799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420799">(Oct 08 2018 at 18:34)</a>:</h4>
<p>we had created <a href="https://github.com/rust-rfcs/rust-trait-object-upcast" target="_blank" title="https://github.com/rust-rfcs/rust-trait-object-upcast">this repo</a></p>



<a name="135420804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420804">(Oct 08 2018 at 18:35)</a>:</h4>
<p>but as you can see — its contents are empty :)</p>



<a name="135420810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420810">(Oct 08 2018 at 18:35)</a>:</h4>
<p>so evidently we didn't get too far</p>



<a name="135420829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420829">(Oct 08 2018 at 18:35)</a>:</h4>
<p>I think trait object upcast involves figuring out a few things — e.g., we have to talk about the runtime representation we'll be using etc — but it's probably worth looking for some easy "subproblems" to start with</p>



<a name="135420874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> dhardy <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420874">(Oct 08 2018 at 18:36)</a>:</h4>
<p>Does it need an RFC? There are are some questions about how exactly vtables and upcasts work, but seems like the only questions are technical (can this be done) rather than design (what should be done)?</p>



<a name="135420909"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420909" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420909">(Oct 08 2018 at 18:37)</a>:</h4>
<p>It's borderline perhaps, but I think an RFC would be helpful, or at minimum a design document.</p>



<a name="135420911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420911">(Oct 08 2018 at 18:37)</a>:</h4>
<p>We tend to skimp those and I don't like it</p>



<a name="135420921"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420921" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420921">(Oct 08 2018 at 18:37)</a>:</h4>
<p>it also feels tied up in questions about how to handle things like <code>&amp;(A + B)</code></p>



<a name="135420926"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420926" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420926">(Oct 08 2018 at 18:37)</a>:</h4>
<p>(where A and B are arbitrary traits)</p>



<a name="135420934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420934">(Oct 08 2018 at 18:38)</a>:</h4>
<p>or rather <code>&amp;dyn (A+B)</code>, I suppose</p>



<a name="135420971"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420971" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420971">(Oct 08 2018 at 18:38)</a>:</h4>
<p>(a bit late to the party: by "trait aliases", are we talking about aliases for bounds or traits?)</p>



<a name="135420975"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420975" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> dhardy <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420975">(Oct 08 2018 at 18:38)</a>:</h4>
<p>Okay. I'd prefer to have some progress on an implementation before writing one but might get to that later (when I have a better idea how the internals work).</p>



<a name="135420990"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420990" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420990">(Oct 08 2018 at 18:38)</a>:</h4>
<p><span class="user-mention" data-user-id="121053">@varkor</span> I was talking about <a href="https://github.com/rust-lang/rust/issues/41517" target="_blank" title="https://github.com/rust-lang/rust/issues/41517">RFC 1733</a></p>



<a name="135420995"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420995" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420995">(Oct 08 2018 at 18:38)</a>:</h4>
<p>I think <span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> was also talking about trait object upcasting</p>



<a name="135420996"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135420996" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> dhardy <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135420996">(Oct 08 2018 at 18:38)</a>:</h4>
<p>&amp;dyn A + B is a multi-trait object, regarding which there are quite a few comments in <a href="https://github.com/rust-lang/rfcs/issues/2035" target="_blank" title="https://github.com/rust-lang/rfcs/issues/2035">https://github.com/rust-lang/rfcs/issues/2035</a></p>



<a name="135421126"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421126" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421126">(Oct 08 2018 at 18:41)</a>:</h4>
<p>Well, I've not given trait object upcasting a lot of thought, I have to confess, at least not recently. I think the place to start is to figure even what the <em>problems</em> are. =) There are some key language-level choices, though.</p>



<a name="135421145"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421145" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421145">(Oct 08 2018 at 18:41)</a>:</h4>
<p>For example, is upcasting a kind of <em>coercion</em> or a <em>subtyping</em> operation.</p>



<a name="135421153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421153">(Oct 08 2018 at 18:41)</a>:</h4>
<p>subtyping meaning "no change is needed at runtime"</p>



<a name="135421159"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421159" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421159">(Oct 08 2018 at 18:41)</a>:</h4>
<p>I suspect we will go with a coercion</p>



<a name="135421169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421169">(Oct 08 2018 at 18:41)</a>:</h4>
<p>but i'm not sure</p>



<a name="135421179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421179">(Oct 08 2018 at 18:42)</a>:</h4>
<p>that would imply that e.g. <code>Vec&lt;Arc&lt;dyn Trait&gt;&gt;</code> cannot be upcast to <code>Vec&lt;Arc&lt;dyn Supertrait&gt;&gt;</code></p>



<a name="135421235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421235">(Oct 08 2018 at 18:42)</a>:</h4>
<p>in any case, <span class="user-mention" data-user-id="119009">@eddyb</span> and @kimundi had an early RFC about this that is worth revisiting</p>



<a name="135421268"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421268" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421268">(Oct 08 2018 at 18:43)</a>:</h4>
<p>(My general hope was that we could approach the RFC writing and implementation in tandem, sketch out a rough plan, working on it, and revising as we go — which is actually something I'd like to move towards more generally, but that's neither here nor there)</p>



<a name="135421318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421318">(Oct 08 2018 at 18:44)</a>:</h4>
<p>ok, so, in the past we had <a href="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--AOydLZ5eU_V1CMfksqYoZDo_Ag-oDfr6ct8xx63HSAOOmIZX" target="_blank" title="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--AOydLZ5eU_V1CMfksqYoZDo_Ag-oDfr6ct8xx63HSAOOmIZX">this dropbox paper document</a> for kind of tracking things</p>



<a name="135421330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> dhardy <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421330">(Oct 08 2018 at 18:44)</a>:</h4>
<p>Upcast of <code>Vec&lt;dyn Trait&gt;</code> to <code>Vec&lt;dyn Supertrait&gt;</code> is in any case unsound (because it allows users to push <code>dyn Othersubtrait</code> objects)</p>



<a name="135421337"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421337" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421337">(Oct 08 2018 at 18:44)</a>:</h4>
<p>it is not unsound</p>



<a name="135421350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421350">(Oct 08 2018 at 18:45)</a>:</h4>
<p>we have a notion of variance already for the existing region-based subtyping</p>



<a name="135421362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421362">(Oct 08 2018 at 18:45)</a>:</h4>
<p>note that if you own the <code>Vec&lt;dyn Trait&gt;</code> and you upcast it</p>



<a name="135421363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421363">(Oct 08 2018 at 18:45)</a>:</h4>
<p>no harm is done</p>



<a name="135421365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421365">(Oct 08 2018 at 18:45)</a>:</h4>
<p>because there exists no alias</p>



<a name="135421369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421369">(Oct 08 2018 at 18:45)</a>:</h4>
<p>that is, nobody to "remember" the old type :)</p>



<a name="135421375"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421375" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> dhardy <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421375">(Oct 08 2018 at 18:45)</a>:</h4>
<p>True, you have to keep an alias to the old type</p>



<a name="135421378"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421378" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421378">(Oct 08 2018 at 18:45)</a>:</h4>
<p>if you have an <code>&amp;mut Vec&lt;dyn Trait&gt;</code>, that is not the case, but then we enforce invariance</p>



<a name="135421428"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421428" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421428">(Oct 08 2018 at 18:46)</a>:</h4>
<p>(in particular, <code>&amp;mut T &lt;: &amp;mut T</code>)</p>



<a name="135421443"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421443" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421443">(Oct 08 2018 at 18:46)</a>:</h4>
<p>(but <code>&amp;T &lt;: &amp;U :- T &lt;: U</code>)</p>



<a name="135421445"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421445" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421445">(Oct 08 2018 at 18:46)</a>:</h4>
<p>re. tracking: it'd be good to not only have a list of the current objectives wrt chalk, but also what chalk currently supports (and doesn't), to track its overall state</p>



<a name="135421523"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421523" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421523">(Oct 08 2018 at 18:48)</a>:</h4>
<p>(I'm still planning to tackle const generics in chalk, once I get some time, but it's not yet one of the pressing issues, for example)</p>



<a name="135421538"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421538" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421538">(Oct 08 2018 at 18:48)</a>:</h4>
<p>I think I will remove the old table, and we'll try to sketch a new one. But I would like to have a clear roadmap showing the various "active goals" and the work towards them. <span class="user-mention" data-user-id="131694">@scalexm</span>, <span class="user-mention" data-user-id="116883">@tmandry</span> and I drew up some intermediate steps for Chalk integration but I think they've not made their way into this document, so perhaps that can be a goal for next time. I think <span class="user-mention" data-user-id="121053">@varkor</span> that steps within chalk just fit into that general framework (they may be separate "topline" goals, in some cases — for example, I'd like to push harder on modeling specialization at the chalk level etc)</p>



<a name="135421541"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421541" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421541">(Oct 08 2018 at 18:48)</a>:</h4>
<p>I'm not sure whether Dropbox paper is the right form for this sort of planning though</p>



<a name="135421551"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421551" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421551">(Oct 08 2018 at 18:49)</a>:</h4>
<p>I'm going to start by moving the existing tracking somewhere else, since it's outdated, but I don't necessarily want to lose it</p>



<a name="135421599"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421599" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Diogo Sousa <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421599">(Oct 08 2018 at 18:50)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I want to start doing some chalk work but I'm not currently familiar with rustc or chalk.  What would be something good for me to get started?  Whatever can add some value to chalk would be nice.</p>



<a name="135421606"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421606" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421606">(Oct 08 2018 at 18:50)</a>:</h4>
<p>fwiw Paper actually lets you set action items for people and "due dates" in a doc, not sure if we'd want to use that feature but it might help keep people more organized</p>



<a name="135421627"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421627" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421627">(Oct 08 2018 at 18:51)</a>:</h4>
<p>Should we resurrect the old paper document for WG-traits?</p>



<a name="135421645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421645">(Oct 08 2018 at 18:51)</a>:</h4>
<p><span class="user-mention" data-user-id="117350">@Sunjay Varma</span> the <a href="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--AOydLZ5eU_V1CMfksqYoZDo_Ag-oDfr6ct8xx63HSAOOmIZX" target="_blank" title="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--AOydLZ5eU_V1CMfksqYoZDo_Ag-oDfr6ct8xx63HSAOOmIZX">paper link is here</a></p>



<a name="135421646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421646">(Oct 08 2018 at 18:51)</a>:</h4>
<p><span class="user-mention" data-user-id="117350">@Sunjay Varma</span> niko linked to it above ^</p>



<a name="135421652"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421652" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421652">(Oct 08 2018 at 18:52)</a>:</h4>
<p>I've cleared out the existing content, but it is available in the history from what I can see</p>



<a name="135421697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421697">(Oct 08 2018 at 18:52)</a>:</h4>
<p>oh i see</p>



<a name="135421698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421698">(Oct 08 2018 at 18:52)</a>:</h4>
<p>I was finding it a bit overwhelming :)</p>



<a name="135421703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421703">(Oct 08 2018 at 18:52)</a>:</h4>
<p>I think maybe the main thing for this meeting that would be good is to just brainstorm a bit the topline goals and try to prioritize them a bit</p>



<a name="135421708"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421708" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421708">(Oct 08 2018 at 18:52)</a>:</h4>
<p><span class="user-mention" data-user-id="125685">@Diogo Sousa</span> btw, I think that's the question we're aiming to answer a bit in this meeting and over the next few weeks :)</p>



<a name="135421776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421776">(Oct 08 2018 at 18:54)</a>:</h4>
<p>ok, I added a bit to the paper brainstorming some possible goals: </p>
<ul>
<li>Preliminary chalk integration<br>
    - Goal: to type-check a very simple program using chalk</li>
<li>Lazy normalization<br>
    - Blocked I think on chalk integration?</li>
<li>Extending chalk<br>
    - Specialization<br>
    - Modeling trait objects<br>
    - Const generics</li>
<li>Trait aliases</li>
<li>Trait objects:<br>
    - upcasting to supertraits<br>
    - multitrait objects (<code>dyn (A</code> <code>+</code> <code>B)</code>)</li>
</ul>



<a name="135421859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421859">(Oct 08 2018 at 18:56)</a>:</h4>
<p>So I guess it would be useful for now to have this:</p>



<a name="135421862"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421862" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Diogo Sousa <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421862">(Oct 08 2018 at 18:57)</a>:</h4>
<p>What is the current state of chalk?  I mean, what are the missing pieces to have chalk fully able to check (all rust) programs?</p>



<a name="135421866"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421866" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421866">(Oct 08 2018 at 18:57)</a>:</h4>
<p>some kind of idea of how many people are maybe interesting in doing things :)</p>



<a name="135421874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Diogo Sousa <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421874">(Oct 08 2018 at 18:57)</a>:</h4>
<p>(sorry, I don't have a lot of context yet)</p>



<a name="135421938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421938">(Oct 08 2018 at 18:58)</a>:</h4>
<p>I'm not 100% sure. In some sense, chalk is more complete, but it doesn't model specialization right now, nor does it have a notion of trait objects, and probably some other Rust "special cases" we'll have to decide how to handle.</p>



<a name="135421944"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421944" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421944">(Oct 08 2018 at 18:58)</a>:</h4>
<p>You have to have a full picture of how it fits together: chalk is really a shorthand that refers in some sense to a lot of things</p>



<a name="135421959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421959">(Oct 08 2018 at 18:59)</a>:</h4>
<p>e.g., there is an underlying chalk-engine crate, and it is basically complete, but it relies on some front-end lowering Rust traits + impls into the form it expects</p>



<a name="135421964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421964">(Oct 08 2018 at 18:59)</a>:</h4>
<p>the chalk crate itself is not something rustc will ever directly depend on</p>



<a name="135421970"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135421970" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135421970">(Oct 08 2018 at 18:59)</a>:</h4>
<p>it's kind of an elaborate unit testing harness that demonstates how trait lowering can work</p>



<a name="135422011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422011">(Oct 08 2018 at 19:00)</a>:</h4>
<p>(maybe eventually we'll be able to pull some of that code into common crates shared with rustc, though, but it's not an immediate goal)</p>



<a name="135422032"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422032" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422032">(Oct 08 2018 at 19:00)</a>:</h4>
<p>there is some stuff written up in the rustc-guide under the <a href="https://rust-lang-nursery.github.io/rustc-guide/traits/index.html" target="_blank" title="https://rust-lang-nursery.github.io/rustc-guide/traits/index.html">"trait-solving (new style)" chapter</a></p>



<a name="135422036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422036">(Oct 08 2018 at 19:00)</a>:</h4>
<p>that may help to "set the scene"</p>



<a name="135422046"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422046" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422046">(Oct 08 2018 at 19:01)</a>:</h4>
<blockquote>
<p>Preliminary chalk integration<br>
- Goal: to type-check a very simple program using chalk</p>
</blockquote>
<p>I am interested in working (at least in some small part) on this. It's one of the things I wished I had gotten to a few months ago <span class="emoji emoji-263a" title="smile">:smile:</span></p>



<a name="135422051"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422051" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422051">(Oct 08 2018 at 19:01)</a>:</h4>
<p>so in terms of completing chalk, what we are kind of talking about is extending that unit testing harness to figure out how to lower more things</p>



<a name="135422114"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422114" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Huber <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422114">(Oct 08 2018 at 19:02)</a>:</h4>
<p>Well, I'm here and interested in doing things. You may or may not have seen this, but: I have some experience with Rust and limited experience with rustc. I'm hoping to get involved here as a way to learn more and help out, though. :)</p>



<a name="135422136"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422136" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422136">(Oct 08 2018 at 19:03)</a>:</h4>
<p><span class="user-mention" data-user-id="125685">@Diogo Sousa</span> I put some links at the top of the document that are helpful for context</p>



<a name="135422148"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422148" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422148">(Oct 08 2018 at 19:03)</a>:</h4>
<p>I'm thinking a bit more; I think probably the thing to do is to try to move some of this "overall plan" state into GH in the form of issues and labels. I've found that ultimately that's the most effective way to drive things.</p>



<a name="135422150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422150">(Oct 08 2018 at 19:03)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> basically the most important things when it comes to completing chalk are trait objects and type outlive requirements</p>



<a name="135422159"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422159" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Diogo Sousa <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422159">(Oct 08 2018 at 19:03)</a>:</h4>
<p>I see.  I will try to explore the current state of things this week.  Thanks <span class="user-mention" data-user-id="116009">@nikomatsakis</span>!</p>
<p>Right now I have an airplane to catch, but after that I will read the rest of the topic.</p>



<a name="135422161"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422161" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Diogo Sousa <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422161">(Oct 08 2018 at 19:03)</a>:</h4>
<p>thanks <span class="user-mention" data-user-id="117350">@Sunjay Varma</span>, I will look into those.</p>



<a name="135422162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422162">(Oct 08 2018 at 19:03)</a>:</h4>
<p>(I think specialization and const generics <em>might</em> wait a bit)</p>



<a name="135422165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422165">(Oct 08 2018 at 19:04)</a>:</h4>
<p>Can those of you who are attending add some info to <a href="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--AOydLZ5eU_V1CMfksqYoZDo_Ag-oDfr6ct8xx63HSAOOmIZX#:uid=013018300280430037817895&amp;h2=2018.10.08" target="_blank" title="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--AOydLZ5eU_V1CMfksqYoZDo_Ag-oDfr6ct8xx63HSAOOmIZX#:uid=013018300280430037817895&amp;h2=2018.10.08">this section of the minutes</a>?</p>



<a name="135422211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422211">(Oct 08 2018 at 19:04)</a>:</h4>
<p><span class="user-mention" data-user-id="131694">@scalexm</span> what do you mean by "type outlive requirements"?</p>



<a name="135422212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422212">(Oct 08 2018 at 19:04)</a>:</h4>
<p>I don't feel like that is chalk's job</p>



<a name="135422217"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422217" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422217">(Oct 08 2018 at 19:04)</a>:</h4>
<p>so i'm not 100% sure if I know what you mean</p>



<a name="135422218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422218">(Oct 08 2018 at 19:04)</a>:</h4>
<p>or do you mean just "Adding that as a kind of domain goal"?</p>



<a name="135422219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422219">(Oct 08 2018 at 19:04)</a>:</h4>
<p>mmh I think we need some "implied" outlive requirements in chalk no?</p>



<a name="135422221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422221">(Oct 08 2018 at 19:05)</a>:</h4>
<p>Hmm.</p>



<a name="135422223"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422223" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422223">(Oct 08 2018 at 19:05)</a>:</h4>
<p>or maybe not</p>



<a name="135422232"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422232" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422232">(Oct 08 2018 at 19:05)</a>:</h4>
<p>I'm not sure now</p>



<a name="135422236"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422236" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422236">(Oct 08 2018 at 19:05)</a>:</h4>
<p>because we are no longer "elaborating" the type context but moving over to implied bounds?</p>



<a name="135422242"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422242" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422242">(Oct 08 2018 at 19:05)</a>:</h4>
<p>I guess the answer is "maybe", I think we can probably avoid it to start, it's certainly (imo) not needed to get our <em>first program</em> working</p>



<a name="135422289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422289">(Oct 08 2018 at 19:06)</a>:</h4>
<p>like, I remember translating <code>StreamingIterator</code> to chalk there: <a href="https://gist.github.com/scalexm/e3e4ecefe970a2df861cc158e50c363c" target="_blank" title="https://gist.github.com/scalexm/e3e4ecefe970a2df861cc158e50c363c">https://gist.github.com/scalexm/e3e4ecefe970a2df861cc158e50c363c</a></p>



<a name="135422290"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422290" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422290">(Oct 08 2018 at 19:06)</a>:</h4>
<p>but I would like to talk over how to handle outlives at some point and how to model it in a better way. This is somewhat tied in with NLL + polonius etc though.</p>



<a name="135422301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422301">(Oct 08 2018 at 19:07)</a>:</h4>
<p>and I needed to hack in an implied outlive requirement in order to model it well</p>



<a name="135422308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422308">(Oct 08 2018 at 19:07)</a>:</h4>
<p>right, I guess I am basically thinking that we can add some kind of <code>T: 'a</code> thing to chalk, but it basically just gets propagated back up and left for rustc to handle</p>



<a name="135422314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Huber <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422314">(Oct 08 2018 at 19:07)</a>:</h4>
<p>(Niko - this is Josh. I've been to the Kendall square Rust lunch a few times, and we talked about getting involved, and you suggested poking at a working group. So here we are. :)</p>



<a name="135422316"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422316" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422316">(Oct 08 2018 at 19:07)</a>:</h4>
<p>(which is what the trait solver does today)</p>



<a name="135422319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422319">(Oct 08 2018 at 19:07)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> yeah ok so just add <code>T: 'a</code> goal basically then</p>



<a name="135422406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422406">(Oct 08 2018 at 19:09)</a>:</h4>
<p>I'm debating how to proceed :) I think what I want to do is to try and move these "top-line goal" ideas into github, opening up various issues and using labels etc to track. I've found ultimately it's best to lean on GH for these sorts of things. I don't think I want to do that synchronously right here, but it'd be good to grab a smaller group and do it live in the next day or two. Then we can try to advertise those work items and people can sign up</p>



<a name="135422412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422412">(Oct 08 2018 at 19:09)</a>:</h4>
<p>and we can 'check in' on progress next Monday as well as revisiting the overall structure?</p>



<a name="135422473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422473">(Oct 08 2018 at 19:10)</a>:</h4>
<p>works for me</p>



<a name="135422484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422484">(Oct 08 2018 at 19:10)</a>:</h4>
<p>maybe we should pick a time for that</p>



<a name="135422553"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422553" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422553">(Oct 08 2018 at 19:12)</a>:</h4>
<p>I guess I would probably aim to do more of that planning tomorrow at 10am EST (but as I said I don't think it's something where a ton of people need to be present)</p>



<a name="135422566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422566">(Oct 08 2018 at 19:12)</a>:</h4>
<p>in particular, I think it only makes sense if you already have a pretty good grasp of rustc + chalk etc...</p>



<a name="135422590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422590">(Oct 08 2018 at 19:13)</a>:</h4>
<p>I can make it then</p>



<a name="135422631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422631">(Oct 08 2018 at 19:14)</a>:</h4>
<p>ok</p>



<a name="135422637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422637">(Oct 08 2018 at 19:14)</a>:</h4>
<p>I can make it</p>



<a name="135422645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422645">(Oct 08 2018 at 19:14)</a>:</h4>
<p>great, let's reconvene then, and once we've got some issues chopped up we can post them to zulip/internals ?</p>



<a name="135422652"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422652" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422652">(Oct 08 2018 at 19:15)</a>:</h4>
<p>sorry for being 30 min late today again btw :) though actually I think we should shoot to keep these meetings 30min if at all possible</p>



<a name="135422658"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422658" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422658">(Oct 08 2018 at 19:15)</a>:</h4>
<p>I'm all about the 30min meeting these days :)</p>



<a name="135422716"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422716" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422716">(Oct 08 2018 at 19:16)</a>:</h4>
<p>sounds good <span class="emoji emoji-1f44b" title="wave">:wave:</span></p>



<a name="135422747"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422747" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Huber <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422747">(Oct 08 2018 at 19:17)</a>:</h4>
<p>that sounds great to me. i'm mostly going to sit back and see what sorts of things you come up with and see if there's tasklets that'd be a good way for me to get started. so I suppose I'll just return next Monday!</p>



<a name="135422895"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135422895" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135422895">(Oct 08 2018 at 19:20)</a>:</h4>
<p>@varkor I have been yes. Haven't gotten around to writing up a document still, but there's a repo for an RFC there. Needs some brainstorming.</p>



<a name="135425075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135425075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135425075">(Oct 08 2018 at 20:03)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> could you create a calendar event for this meeting like the NLL group?</p>



<a name="135425079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135425079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135425079">(Oct 08 2018 at 20:03)</a>:</h4>
<p>I have one, I can add people to it as needed (I'll add you, <span class="user-mention" data-user-id="116107">@davidtwco</span>)</p>



<a name="135471656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135471656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135471656">(Oct 09 2018 at 14:03)</a>:</h4>
<p><span class="emoji emoji-1f44b" title="wave">:wave:</span></p>



<a name="135471755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-08/near/135471755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-08.html#135471755">(Oct 09 2018 at 14:05)</a>:</h4>
<p>hello <span class="user-mention" data-user-id="117350">@Sunjay Varma</span> , I started <a href="#narrow/stream/144729-wg-traits/topic/planning.20meeting.202018-10-09" title="#narrow/stream/144729-wg-traits/topic/planning.20meeting.202018-10-09">this topic</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>